基礎数学の講義から(完) 定理の自動証明